Borrowing interpolation

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Borrowing interpolation

We present a generic method for establishing interpolation properties by ‘borrowing’ across logical systems. The framework used is that of the so-caled ‘institution theory’ which is a categorical abstract model theory providing a formal definition for the informal concept of ‘logical system’ and a mathematical concept of ‘homomorphism’ between logical systems. We develop three different styles ...

متن کامل

Rochester Borrowing-proofness Borrowing-proofness

We formulate and study the requirement on an allocation rule that no agent should be able to benefit by augmenting his endowment through borrowing resources from the outside world (alternatively, by simply exaggerating it). We show that the Walrasian rule is not “borrowing-proof” even on standard domains. More seriously, no efficient selection from the endowments-lower-bound correspondence, or ...

متن کامل

Borrowing and non-Borrowing among International Courts

Why do some international courts and judges extensively borrow from other international courts while others do not? Answers to this question have important implications for debates on transjudicial communication, the diffusion of international legal norms, and international judicial behavior. Judges may use external sources because they help improve decisions or because it fits their ideologica...

متن کامل

Case Borrowing

The aim of this paper is to provide a plausible possibility to analyse bidirectional syncretism patterns of the type Stump (2001) has described for several languages. For many morphological frameworks an analysis of these syncretism patterns poses several problems, because one must stipulate directional rules to ensure the right marker distribution. The mechanism can be seen as a possible exten...

متن کامل

Pronoun borrowing

1. Introduction A recurring theme in theoretical discussions of language contact is the question of borrowability—specifically, whether there are any substantive constraints governing the kinds of lexicon and structure that can be borrowed. Nowadays historical linguists are less likely to propose absolute constraints than they used to be, because everyone knows at least a few examples of 'odd' ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Logic and Computation

سال: 2011

ISSN: 0955-792X,1465-363X

DOI: 10.1093/logcom/exr007